доказательство правильности

доказательство правильности

 

доказательство правильности

[http://www.iks-media.ru/glossary/index.html?glossid=2400324]

Тематики

  • электросвязь, основные понятия

EN

  • correctness proof


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Нужно сделать НИР?

Смотреть что такое "доказательство правильности" в других словарях:

  • доказательство правильности программы — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN program correctness proof …   Справочник технического переводчика

  • верификация (доказательство правильности) — контроль проверка — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом Синонимы контрольпроверка EN verification …   Справочник технического переводчика

  • верификация (доказательство правильности) программы — — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом EN program verification …   Справочник технического переводчика

  • ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… …   Философская энциклопедия

  • доказательство общей правильности — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN total correctness, proof of …   Справочник технического переводчика

  • доказательство —         ДОКАЗАТЕЛЬСТВО процедура, призванная убедить и убеждающая человека в истинности некоторого положения настолько, что с ее помощью он может убеждать в истинности этого положения других. В узком (собственно логическом) смысле под Д.… …   Энциклопедия эпистемологии и философии науки

  • Доказательство —         в логике, процесс (метод) установления истины (См. Истина), обоснование истинности суждения (См. Суждение). В соответствии с различными возможными аспектами и уровнями рассмотрения и употребления понятий «истина» («истинность») и… …   Большая советская энциклопедия

  • Доказательство — установление или обоснование истинности высказывания, суждения, теории и т. п.; в самом широком смысле прием, с целью убедить в правильности тезиса, достоверности познания. В логике различают дедуктивное, индуктивное и косвенное доказательства, а …   Начала современного естествознания

  • ДОКАЗАТЕЛЬСТВО — прием, к которому прибегают с той целью, чтобы убедить в правильности тезиса, достоверности познания или в том случае, если данное положение оспаривается, еще раз его дополнить и подтвердить; противоположностью доказательства является… …   Профессиональное образование. Словарь

  • Математическое доказательство — У этого термина существуют и другие значения, см. Доказательство. В математике доказательством называется цепочка логических умозаключений, показывающая, что при каком то наборе аксиом и правил вывода верно некоторое утверждение. В зависимости от …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»